>>853
モデルの話ではなくて
集合論では関係を集合と考えるのはなんだかなってこと