Si "a", "b", "c", "d" son cuatro elementos en "S", entonces para la relación de igualdad (=) se cumplen las propiedades siguientes: