Mientras que los operadores booleanos pueden utilizarse sin necesidad de que exista ningún tipo de relación previamente definida entre los operandos, eso no es así en el caso de los operadores semánticos, puesto que para poder utilizarlos es necesario haber definido previamente alguna relación entre los operandos, relación que, por otra parte, debe ser del tipo transitiva.