別にこれは個人的な好みの問題だから別にいいんですけど、
数理論理学でも集合論でもある程度抽象度のある集合を考えた方が面白い(?)のに、実数の部分集合みたいな具体的な集合考えて楽しいんですかね?