
[;1m  multiple_relative_product(TupleOfBinRels, BinRel1)[0m

  If [;;4mTupleOfBinRels[0m is a non-empty tuple {R[1], ..., R[n]} of
  binary relations and [;;4mBinRel1[0m is a binary relation, then [;;4mBinRel2[0m
  is the multiple relative product of the ordered set
  (R[i], ..., R[n]) and [;;4mBinRel1[0m.

    1> Ri = sofs:relation([{a,1},{b,2},{c,3}]),
    R = sofs:relation([{a,b},{b,c},{c,a}]),
    MP = sofs:multiple_relative_product({Ri, Ri}, R),
    sofs:to_external(sofs:range(MP)).
    [{1,2},{2,3},{3,1}]
