lbitdc.xin
☘
✼
➩
☑
✮
同値 関係.
慣性 と は.
階段 関数. 上 へ の
写像. 無限
遠 点.