universal assumption

Given a biconditionalMathworldPlanetmathPlanetmath statement, a universal assumption is an assumptionPlanetmathPlanetmath 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 functionsMathworldPlanetmathPlanetmath on the extended real numbers.

Title universal assumption
Canonical name UniversalAssumption
Date of creation 2013-03-22 17:11:47
Last modified on 2013-03-22 17:11:47
Owner Wkbj79 (1863)
Last modified by Wkbj79 (1863)
Numerical id 5
Author Wkbj79 (1863)
Entry type Definition
Classification msc 03F07
Classification msc 03B05
Synonym universal hypothesis
Related topic NecessaryAndSufficient