[see also: entail, necessitate, require
Our proof involves looking at......
This involves no loss of generality.
The analysis of PDO involves the geometry of T*M.
The terms involving a≠ 1 contribute O(n), since......
A computational restraint is the algebraic number theory involved in finding these ranks, which will typically be more demanding than in our example of Section 1.
The crucial set-theoretic properties involved are the following. [Note the position of involved; placed before properties, it would mean “complicated''.]