Metamath Proof Explorer


Table of Contents - 20.16.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