Con lo que tenemos que el complemento es una operación unaria interna, si a cada elemento a de A le corresponde un único elemento b de A, siendo b el complemento de a.