大学学部レベル質問スレ 27単位目

m, n ∈ N とする。
m < n の定義は m ∈ n です。