Sean dos objetos "a" y "b", entonces podemos representar un hecho que los implica como "aRb" donde "R" significa la manera particular en que "a" entra en relación con "b".