>>752
それを綺麗に記述することがそんな重要かね？集合論にとって重要ってだけだろ。