A metatheorem is defined as: "a statement about theorems. It usually gives a criterion for getting a new theorem from an old one, either by changing its objects according to a rule" known as the duality law or duality principle or by transferring it to another area (from the theory of categories to the theory of groups) or to another context within the same area (from linear transformations to matrices).[4]