写像の同値核("equivalence kernel")あるいはに付随する同値関係とは、