Expressão que define com rigor tanto as relações fundamentais entre os termos que entram na composição de um todo, como as regras estabelecidas por tipo de operação.