theorem Th10: :: LATTICE4:10

for L being Lattice
for p being Element of L holds FinMeet {.p.} = p