Material set theory

Universal Relation Axiom

The Universal Relation Axiom is a possible axiom of Material set theory with classes¹: #m/def/set/nbg

which is to say, for any class there is a class representing a Relation set between each element of and everything else in the universal class, a sort of “Cartesian product” .

#state/tidy | #lang/en | #SemBr