formalisations

noun
  1. plural of formalisation; the process of making something formal, official, or structured according to set rules or procedures
  2. Usage: British spelling; American equivalent is 'formalizations'; commonly used in academic, legal, and organizational contexts
  3. in logic and mathematics, the process of expressing concepts, rules, or systems in a precise, symbolic, or axiomatic form
  4. Usage: technical; used in formal logic, computer science, and mathematics

Examples