%% %CopyrightBegin%
%%
%% SPDX-License-Identifier: Apache-2.0
%%
%% Copyright Ericsson AB 2021-2025. All Rights Reserved.
%%
%% %CopyrightEnd%

[;1m  relative_product(ListOfBinRels)[0m

  Returns relative product of the ordered set (R[i], ..., R[n]) and
  the relation of equality between the elements of the Cartesian
  product of the ranges of R[i], range R[1] × ... × range R[n].

[;1mExamples[0m

    1> TR = sofs:relation([{1,a},{1,aa},{2,b},{4,x}]).
    2> R1 = sofs:relation([{1,u},{2,v},{3,c}]).
    3> R2 = sofs:relative_product([TR, R1]).
    4> sofs:to_external(R2).
    [{1,{a,u}},{1,{aa,u}},{2,{b,v}}]
