(数学)」をご覧ください。この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。kernel)とは、その準同型の単射からのずれの度合いを測る道具である。あることとその準同型が単射であることとが同値となる。呼ばれる特定の元を構造として持つ場合と持たない場合の二種に大別できる(ここでは、正確には基点のみからなる一元集合が圏論的な意味で零対象となるようなものを与える必要がある)。構造を保つ準同型とする。おける二項関係を定める。この関係は(構造と両立する)同値関係になる。