theorem Th50: :: WAYBEL34:50

for W being with_non-empty_element set
for L being LATTICE st the carrier of L in W holds
( L is Object of (W -CL-opp_category) iff ( L is strict & L is complete & L is continuous ) )