Estas cuatro condiciones definen un grupo.