圏指標
summary.icon
Cat、あるいはCATにおける
1つの圏を0-要素として持つ指標