Es decir: para toda entidad "x", "x" es idéntica a sí misma.