for A, B, C, D, E, X being set st ( X c= A or X c= B or X c= C or X c= D or X c= E ) holds
X c= (((A \/ B) \/ C) \/ D) \/ E