束から誘導された半順序集合