Así, una relación entre los conjuntos formula_1, formula_2 y formula_18, puede ser cualquier subconjunto del producto cartesiano formula_19, y consistiría por tanto de ternas ordenadas.