defining axiom

Мат. определяющая аксиома, аксиома-определение