well-definedness 周りの議論ってわりと何してるのかわかりにくくない？ と思って考えてたら universality のほうがわかりやすい気がしてきりしたので書いてみた。以下 , は集合， は 上の同値関係。 well-defined とは 写像 が well-defined であるとはどう…