theorem Th13: :: WAYBEL30:13

for N being meet-continuous LATTICE
for A being Subset of N st A is property(S) holds
uparrow A is property(S)