theorem :: SETFAM_1:11

for X, Y being set holds meet {X,Y} = X /\ Y