MDLUL/invariant (Operation)