Et par sammen med to projeksjoner og kan defineres slik at og . , hvor er en forkortelse for .