for A, B, C, D being set st A meets B & C meets D holds
[:A,C:] meets [:B,D:]