この記事では商集合上の写像を定義するときに出てくるwell-defined性に解釈を与えます。 「写像は二項関係の特殊なもの」という考え方を使い、商集合上の写像の定義がwell-definedであることを「写像であると期待して定義したものを二項関係として見て、それが写像である」という解釈を与えます。 「写像は二項関係の特…