[1] 式 | 式 は、両式の和集合が結果となります。 但し、オペランド (両式) は共に節集合 (を返すもの) でなければなりません。