formalisation

noun
  1. the process of making something formal or official; the act of giving something a formal structure or status
  2. Usage: British English spelling; American English uses 'formalization'; commonly used in academic, legal, and organizational contexts
  3. in logic and mathematics, the process of expressing ideas, rules, or systems in a precise, symbolic, or axiomatic form
  4. Usage: technical; used in formal logic, mathematics, and computer science

Examples