theorem :: SETFAM_1:11
  sf = {v} implies Intersect sf = v
proof
  assume
A1: sf = {v};
  then Intersect sf = meet sf by SETFAM_1:def 9;
  hence thesis by A1,SETFAM_1:10;
end;
