Hansen's properties (associative, commutative, identity)