テンソル積の定義にはwell-defined
同値類の演算にはwell-defined
つーか俺、学部3年なんだけどいまだにwell-definedの証明が苦手なんだよね...
どうしたらいいの、あれの証明って?