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

[;1m  relative_product1(BinRel1, BinRel2)[0m

  Returns the relative product of the converse of the binary
  relation [;;4mBinRel1[0m and the binary relation [;;4mBinRel2[0m.

[;1mExamples[0m

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

  [;;4mrelative_product1(R1, R2)[0m is equivalent to [;;4m[0m
  [;;4mrelative_product(converse(R1), R2)[0m.
