Definition:Lower Closure/Also defined as

From ProofWiki
Jump to navigation Jump to search

Lower Closure: Also defined as

Some sources define a lower closure with respect to a total ordering only, not considering the same concept with respect to a partial ordering.