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