수와 집합

이득우의 게임 수학

 

 

참과 거짓을 구분해 줄 수 있는 명제 중에서 증명할 필요가 없는 기본 명제를 공리(Axiom)라고 한다.

 

두 개의 원소를 사용해 새로운 원소를 만들어 내는 것을 이항 연산(Binary operation)이라고 한다.

 

 

연산 º의 항등원은 a º e = e º a = a 식을 항상 만족하는 e이다.
연산 º에 대한 a의 역원은 a º x = x º a = 항등원 식을 만족하는 x이다.