Propriétés des opérations