theorem :: SETFAM_1:1

meet {} = {} by Def1;