分からない問題はここに書いてね447

[0296 １３２人目の素数さん 2018/09/25(火) 21:41:16.32 ID:n/GFgogk]

集合Sに対して、P(S)でSの巾集合を表す。
Fin(S) ：= {A∈P(S)|Aは有限集合} とする。

Xを集合とする。
S⊆P(X)とする。
O(S)でSによって生成される開集合系とする。

O(S)を具体的に表したい。

O(S) = { ∪_{T ∈ F} ∩T | F ⊆ Fin(S) }
でいいんですかね？