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

[;1m  converse(BinRel1)[0m

  Returns the converse of the binary relation [;;4mBinRel1[0m.

  See [;;4minverse/1[0m for a similar function that applies only to
  invertible functions.

[;1mExamples[0m

    1> R1 = sofs:relation([{1,a},{2,b},{3,a}]).
    2> R2 = sofs:converse(R1).
    3> sofs:to_external(R2).
    [{a,1},{a,3},{b,2}]
