meet {} = {} by Def1;