Material set theory

Universal Relation Axiom

The Universal Relation Axiom is a possible axiom of Material set theory with classes¹: 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” .

---

tidy | en | sembr

Footnotes

1. 2015. Introduction to Mathematical Logic, §4.1, p. 236, B5 ↩