そのへんはただの集合論の話なような