\ begin {alineado} x\ in (A\ copa B)\ cap C &\ Longleftrightarrow [x\ in (A\ copa B)\ texto {y} x\ en C]\\ &\ Longleftrightarrow [(x\ en A\ texto {o} x\ en B),\ texto {y} x\ en C]\\ &\ Longlefleflefth...\ begin {alineado} x\ in (A\ copa B)\ cap C &\ Longleftrightarrow [x\ in (A\ copa B)\ texto {y} x\ en C]\\ &\ Longleftrightarrow [(x\ en A\ texto {o} x\ en B),\ texto {y} x\ en C]\\ &\ Longlefleflefthtarrow Trightarrow [(x\ en A, x\ en C)\ texto {o} (x\ en B, x\ en C)]. \ end {alineado}