universal assumption
Given a biconditional statement, a universal assumption is an assumption
that can be used in a proof of both the necessity and sufficiency directions.
For an example of a universal assumption, please see the entry continuous functions on the extended real numbers.