This page gives a purely formal definition of a topic, rather than motivating, explaining, and giving examples.
Meta tag for pages which give formal or brief jargon-heavy technical definitions of a concept. Formal definitions should be secondary lenses when explanations are available.
[todo: Write a more detailed description of these pages.]
[todo: List some examples of high-quality definition pages.]