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.