모노이드

최근 편집: 2017년 6월 19일 (월) 12:04
뉴비입니다 (토론 | 기여)님의 2017년 6월 19일 (월) 12:04 판 (stub)
(차이) ← 이전 판 | 최신판 (차이) | 다음 판 → (차이)

집합 이항연산 에 대해, 다음 조건

  • 결합법칙: 임의의 에 대해 이다.
  • 항등원: 임의의 에 대해 이 존재한다.

을 만족하면 모노이드(monoid)라고 한다.