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.
| 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 |