theorem Th96: :: TDLAT_2:97

for T being non empty TopSpace
for a, b being Element of (Closed_Domains_Lattice T)
for A, B being Element of Closed_Domains_of T st a = A & b = B holds
( a [= b iff A c= B )