MDLUL/invariante (Operation)