순서수: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) 잔글 →곱셈 |
||
133번째 줄:
==== 곱셈 ====
<math>(\operatorname{Ord},\cdot)</math>는 "[[모노이드]]"를 이룬다. 즉, 곱셈의 [[결합 법칙]]이 성립하며, 양쪽 항등원 <math>1\in\operatorname{Ord}</math>이 존재한다. (물론, <math>\operatorname{Ord}</math>는 집합이 아니므로 엄밀히 말해 [[모노이드]]가 될 수 없다.)
또한, 이 "[[모노이드]]"는 0을 가지며, 오른쪽 [[분배 법칙]]이 성립한다.
* <math>\alpha0=0\alpha=0</math>
| |||