theorem Th3: :: FINTOPO3:3

for T being non empty RelStr
for A being Subset of T st T is filled holds
A ^d c= A