Sejam subconjuntos de tais que , , , . Então o conjunto é igual a