Uformelt, hvis man angir ved tuppelen som har verdier for kollektivt lik med , så bør det hver gang tuplene og eksisterer i være slik at tuplene og også eksistere i .