Definície sa spravidla stotožňujú s vetami formy „X =df Y“. V tejto forme nie sú isté aspekty jasne špecifikované. Konkrétne, nie je celkom jasné, čo vyjadruje symbol „=df“. Táto stať je pokusom o odpoveď na otázku: Vzťah akého druhu možno reprezentovať symbolom „=df“? V stati sa ukazuje, že pre každú vetu formy „X =df Y“ existuje zodpovedajúca veta, v ktorej symbol „=df“ možno nahradiť symbolom „=“ za predpokladu, že Y z pôvodnej definície sa doplní určitými informáciami. K tomuto návrhu vedie určitá klasifikácia definícií (pozri Zouhar 2014), ktorej zhrnutie možno nájsť aj v tejto stati.