包含による半順序集合