partially ordered set
A
set
with a
partial ordering
.