The underlying set has been defined somehow with an equivalence relation. Definitions of addition and multiplication may vary.