Metamath Proof Explorer

Table of Contents - 21.20.5.16. Set theory: elementary operations relative to a universe

Some elementary set-theoretic operations "relative to a universe" (by which is merely meant some given class considered as a universe).

1. bj-rcleqf
2. bj-rcleq
3. bj-reabeq
4. bj-disj2r
5. bj-sscon