Definition, synonyms and related words
Details which are straightforward but so tedious that an author or lecturer would rather skip them (especially those of a category theoretical nature).