From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Formal, formality, informal or informality imply the complying with, or not complying with, some set of requirements (forms, in Ancient Greek). They may refer to:

Dress code and events[edit]

Logic and mathematics[edit]

Computer science[edit]

  • Formal methods, mathematically based techniques for the specification, development and verification of software and hardware systems
  • Formal specification, describes what a system should do, not how it should do it
  • Formal verification, proves correctness of a system



  • Formal concentration, molar concentration of original chemical formula in solution
  • Formal (pronounced "form-al")
    • A compound CH2(OR)2, named in analogy to acetals CHR1(OR)2 (historical definition) and ketals CR1R2(OR)2
    • Dimethoxymethane (CH2(OCH3)2) in particular, the formal derived from methanol

Social regulation[edit]


  • Informal vote, a spoiled, void, null vote cast in an election
  • MV Formality, coaster (formerly Empire Favourite) owned by F T Everard & Sons, scrapped in 1962

See also[edit]