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.