Definition:Lower Closure/Also defined as

Lower Closure: Also defined as
Some sources define a lower closure a total ordering only, not considering the same concept  a partial ordering.