−모노이드(Monoid)는 값의 집합과 두 값을 합치는 연산, 항등원(identity)으로 이루어진다. 무엇과 합쳐도 상대를 바꾸지 않는 항등원이 빈 배치와 집계의 시작값을 맡고, 합치는 연산은 Combine(Combine(a, b), c)와 Combine(a, Combine(b, c))가 같다는 결합법칙(associativity)을 지킨다. 이 두 규칙을 갖추면 부분 결과를 어떻게 묶어도 같은 전체 결과를 얻는다. 아래에서는 주문 통계 레코드 OrderStats가 값, Combine이 연산, Empty가 항등원이다.
+모노이드(Monoid)는 값의 집합과 두 값을 합치는 연산, 무엇과 합쳐도 상대를 바꾸지 않는 항등원(identity)으로 이루어지며, 이 항등원이 빈 배치와 집계의 시작값을 맡는다. 합치는 연산은 Combine(Combine(a, b), c)와 Combine(a, Combine(b, c))가 같다는 결합법칙(associativity)을 지키므로, 이 두 규칙을 갖추면 부분 결과를 어떻게 묶어도 같은 전체 결과를 얻는다. 아래에서는 주문 통계 레코드 OrderStats가 값, Combine이 연산, Empty가 항등원이다.
