[1] 体系的一般実体 := 体系的実体 ∧ 一般実体

(名無しさん)