theorem :: LATTICEA:32

for L being bounded Lattice
for a being Element of L holds Top L in PseudoCocomplements a