theorem :: SETFAM_1:4

for X being set st {} in X holds
meet X = {} by Th3, XBOOLE_1:3;