Sejam , e os subconjuntos de definidos por , e . Então é o conjunto