Single Variable Theorems:

Identities
Null Elements
Idempotency
Involution
Complements"
A) Theorems
B) Postulates
C) Equations
D) Axioms