[= providing; see also: if]
This equation has a solution in integers provided that N>7.
The resulting metric space consists precisely of the Lebesgue integrable functions, provided we identify any two that are equal almost everywhere.