In the context of lattice theory and order theory, the term "order bound dual" typically refers to a specific type of duality related to partially ordered sets (posets) and their ordering properties. 1. **Order Dual**: The order dual of a poset \( P \) is defined as the same set of elements with the reverse order.
New to topics? Read the docs here!