Definition talk:Well-Defined/Operation

Yes I know this page was one of mine.

Point is: an operation induced by a congruence relation on a quotient structure with this property is well-defined. But in Quotient Structure is Well-Defined, all such operations are well-defined. So I'm not sure what this page is doing here or whether it be needed. --prime mover 17:47, 20 April 2012 (EDT)


 * Generally, well-definedness is not used on the quotienting operation; I think eventually it boils down to 'being well-defined' being a common alternative for 'arising from quotient structure' (but it applies more generally than simply to binary operations and algebraic structures). Not sure how that comment works out for this page, though. --Lord_Farin 18:15, 20 April 2012 (EDT)