Définitionsmutifier

mutifier

verbe
/my.ti.fje/
  1. MathématiquesTransformer une variable libre en variable muette, en la liant à certaines propriétés.La variable x est muette : elle est mutifiée par le quantificateur .

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.