剰余類
数学、特に群論における剰余類（じょうよるい、）あるいは傍系（ぼうけい、; コセット）とは、とある同値類であって次の定義を満たすものである。