En cibernética, (1) Una declaración con uno o más argumentos que implica una restricción entre los valores concurrentes de estos argumentos. Por ejemplo, una función matemática como el logaritmo, un orden como “es mayor que” o “causa”, una declaración de asociación como “está casado con”, una correspondencia, un código. De manera equivalente (2), un subconjunto de elementos de un conjunto de productos cartesianos (Wiener). Cuando ese subconjunto contiene coocurrencias observadas o permisibles, su complemento en el mismo conjunto de productos se denomina restricción y contiene coocurrencias concebibles que no ocurrieron o están excluidas. Las relaciones son de diferente ordinalidad. Las relaciones o propiedades unarias son de orden uno. las relaciones binarias son de orden dos, etc. Las relaciones se pueden combinar para formar nuevas relaciones, por ejemplo, la relación ternaria simple de “descendencia” que relaciona a un padre, una madre y un niño se puede usar de forma recursiva (ver recursividad) para generar todo un árbol genealógico. Se puede definir más de una relación en el mismo conjunto de productos cartesianos como las relaciones “habló con”, “está casado con”, “intercambió bienes con”, todas las cuales son subconjuntos del producto de dos conjuntos de personas (Krippendorff, 1986).