部分圏

subcategory

部分集合と同じノリ