ランダウの記号で調べろ
本質は集合の包含関係やからこの議論で持ち出すのは屁理屈やけどな