Bool M c= Bool M ;
hence Bool M is SubsetFamily of M ; :: thesis: verum