Property: (right/left) Ore domain