theorem Th17: :: FINTOPO3:17

for T being non empty RelStr
for A, B being Subset of T
for n being Nat holds Fcl ((A \/ B),n) = (Fcl (A,n)) \/ (Fcl (B,n))