Si formula_195 es una relación binaria entre los finitos conjuntos ordenados formula_196 e formula_197 (tales que formula_198), entonces formula_195 puede representarse por la matriz lógica formula_200 cuyos índices de fila y columna ordenan los elementos de formula_196 e formula_197, respectivamente, tales que las entradas de formula_200 se definen por: