Then A equals B. [= A is equal to B; not: “A is equal B'']
The degree of P equals that of Q.
Now J is defined to equal Af, the function f being as in (3). [= where the function f is......]
The resulting metric space consists precisely of the Lebesgue integrable functions, provided we identify any two that are equal almost everywhere.