Pueden existir los dos, uno de ellos o ninguno en el caso de un conjunto provisto de una operación.