📖 Notation System
For any attribute A:
(A) = the class that possesses attribute A
(α) = the class that does not possess attribute A (complement of A)
α is read as "not-A" or "alpha".
Key rule: (A) and (α) are mutually exclusive (no overlap) and exhaustive (cover the entire population).
N = (A) + (α) where N = total population size.