Her er den tomme mengden. Den siste ligningen sier at og er dersom er ulik .