Add formal properties as documentation: - Anti-symmetry: A ⊃ B ⟹ ¬(B ⊃ A) unless A = B - Transitivity: A ⊃ B ∧ B ⊃ C ⟹ A ⊃ C These properties are implicitly maintained but should be explicitly documented.
Add formal properties as documentation:
These properties are implicitly maintained but should be explicitly documented.