definitional identity

Мат. дефинициональное тождество