結果 : partially ordered set in discrete mathematics