『定義』は集合論の用語じゃないよ?