for X, Y, Z being set holds
( ( X meets Y or X meets Z ) iff X meets Y \/ Z )