[see also: examine, check, investigate
The property f(U)=V can be tested by examining the behaviour of......
Computing f(y) can be done by enumerating A(y) and testing each element for membership in C.
We now test equation (6) with the function F to obtain......