>>205
集合論でいうと逆じゃね?