Such notions include substitution, usually introduced by the use of variables, and classification of the entities of a system into types, which is usually provided for by rules which are auxiliary to, but not part of, the system.
Tulad notions isama ang mga pagpapalit, kadalasan ay ipinakilala sa pamamagitan ng paggamit ng variable, at pag-uuri ng entidad ng isang sistema sa mga uri, na kadalasan ay ibinigay para sa sa pamamagitan ng patakaran na ang mga katulong na, ngunit hindi bahagi ng, ang sistema.