Sejam , e subconjuntos de , não vazios, e . Dadas as igualdades:

  1. x x x

  2. x x x

  3. podemos garantir que