Definition and technique to calculate are not the same thing. Consider integer division, which is defined by an equation, but calculated by an incremental long

Definition and technique to calculate are not the same thing. Consider integer division, which is defined by an equation, but calculated by an incremental long division algorithm. Most definition use a phrase like "such that", which says nothing at all about calculating.