#order theory #poset #partially ordered set #join #meet #abstract algebra #mathematical structure