に対して,がに属することとformula_4とformula_5がともにそうであることが同値であるものである.この概念はから生じる.