:: deftheorem defines capOpCl SRINGS_4:def 2 :
for T being non empty TopSpace holds capOpCl T = { (A /\ B) where A, B is Subset of T : ( A is open & B is closed ) } ;