En lógica matemática, cuando un predicado se conecta con "una" expresión, se dice que expresa una "propiedad" (como la propiedad de "ser un planeta"), y cuando se conecta con dos o más expresiones, se dice que expresa una "relación" (como la relación de "ser más grande que").