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

[;1m  is_disjoint(Set1, Set2)[0m

  Returns [;;4mtrue[0m if [;;4mSet1[0m and [;;4mSet2[0m are disjoint; otherwise,
  returns [;;4mfalse[0m.

[;1mExamples[0m

    1> S1 = sofs:set([a,b,c]).
    2> S2 = sofs:set([c,d,e]).
    3> S3 = sofs:set([1,2,3]).
    4> sofs:is_disjoint(S1, S2).
    false
    5> sofs:is_disjoint(S1, S3).
    true
    6> sofs:is_disjoint(sofs:set([1,2,3]), sofs:relation([{a,b}])).
    ** exception error: type_mismatch
         in function  sofs:is_disjoint/2
