To ordnede par og er like hvis og bare hvis og . Generelt trenger ikke og være objekter fra samme mengde.