일반적으로 함수의 한 유형으로 공집 할 수 있으며,

다음과 같은 의미를 가집니다.

첫째는 a * 는 SO] 원소가 되어야 한다는 것과, 둘째는 a* bE

반드시 일의적이어야 한다는 것입니다. 사칙연산을 포함

한 종류의 연산들이 존재하며 그러한 연산에 대한 일반화7

합니다.

@ 42 12) 294 ofa 결한법칙이 정의되어 있고, 임의의 두

원소를

하에서 닫혀 있다 라고 합니다. 따라서 © 1의 임의의 원소 2, 0, col] 대하여 결합법칙 a(bc) = (460 )<가 성립하며, (3) 1의 모든 원 소 ao 대하여 ae=ea=a® 되는 단위원 eS 가지며, © 1의 임 의의 원소 에 대하여 역원 4 ‘이 존재하여 a-a =a ㆍ0==ㅇ로 될 때 집합 1를 군이라고 합니다.