04.1 Structure vs Instance
4.1 Structure vs Instance A structure is a pattern. An instance is a concrete realization of that pattern. This distinction is central to mathematical reasoning. It lets us prove results once at the structural level and then apply them to many examples. A group is a structure. The integers under addition are an instance of that structure. The nonzero rational numbers under multiplication are another instance. The symmetries of a...