( )是由一组以关系作为运算对象的特定的运算所组成的。