Talk:Diagonal Complement Relation Compatible with Group Operation

The whole "compatible with operation" thing is kind of awkward. We do have Definition:Ordering Compatible with Ring, so maybe we should add pages like that for algebraic structures, groups, and fields? --Dfeuer (talk) 23:59, 6 January 2013 (UTC)