Axioms

  1. Disjoint