duality (order theory)

ウィキペディアから