網羅性
完全性
の1要素