Así como la unión lógica, suele representarse como un operador binario entre sus argumentos, símbolizado por formula_22 o bien por formula_23 (de la conjunción inglesa "y").