lbitdc.xin

同値 関係. 慣性 と は.

階段 関数. 上 へ の 写像. 無限 遠 点.