for F being set st ( for X being set st X in F holds
X is real-membered ) holds
union F is real-membered