Commutative algebraDomain