Definition:Lower Closure/Also known as

From ProofWiki
Jump to navigation Jump to search

Lower Closure: Also known as

A lower closure can also be referred to as a weak lower closure to distinguish it from a strict lower closure.