In order for convenience in checking definition along learning in Math, I found it necessary to gather definitions of the same kind so that distinguishing the differences among them will no longer be a tedious job. This work is very hard to do even many materials are available, if you want to use for commercial use, please contact me for permission. Furthermore, the work is still long from finished, if you want to contribute for more or better definitions, please contact me.Tianyu Zhang
Every nonempty ordered set that is inductive has a maximal element.
Functional Analysis, Sobolev Spaces and Partial Differential Equations, Haim Brezis, Chapter 1
- Ordered Set
- Helly, Hahn-Banach Analytic Form