theorem :: SETFAM_1:10

for X being set holds meet {X} = X