ありがとうございます

ということは位相空間をモデル論的な意味での
構造とみなす為にはOiたちが全部最初から
関係として入ってないといけないんですね
これだと使い物にならなそう
数学原論の集合の巻で「構造」がどういう定義になっているか
分からないけどたぶん使えないのは同じでしょうね