замкнутая аксиома

Мат. closed axiom