for N being Subset of V st N in Convex-Family M holds
N is convex by Def204;
hence meet (Convex-Family M) is convex Subset of V by Th215; :: thesis: verum