순서수: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
→바깥 고리: 봇: 인용 틀 변수 이름 수정 |
Osteologia (토론 | 기여) |
||
82번째 줄:
:<math>\alpha + \eta = \bigcup_{\zeta < \gamma} \alpha + \delta_\zeta</math>
</div>
순서수의 덧셈은 [[결합 법칙]]을 만족시키지만, [[교환 법칙]]을 만족시키지 않는다. 예를 들어, <math>1+\omega=\omega<\omega+1</math>이다.
;곱셈의 성질
* (곱셈의 항등원) <math>\alpha 1=1\alpha=\alpha</math>
줄 88 ⟶ 90:
* (우측 [[분배 법칙]]) <math>\alpha(\beta+\gamma)=\alpha\beta+\alpha\gamma</math>
* ([[영인자]]의 부재) <math>\alpha\beta=0</math>이라면 <math>\alpha=0</math>이거나 <math>\beta=0</math>이다.
:<math>2\omega=\omega
:<math>(\omega+1)2=\omega+1+\omega+1=\omega2+1
== 분류 ==
| |||