Notation and a couple of theorems for disjunct sets
Implementing hygiene