for M being non empty set
for F1, F2 being Subset of WFF st F1 c= F2 & M |= F2 holds
M |= F1 ;