Define Partial Order Set