ThmDex – An index of mathematical definitions, results, and conjectures.

Result R4736 on D235: Disjunction

Disjunction is smallest upper bound

Subresults

▶	R292: Union is smallest upper bound