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