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

[;1m  is_empty_set(AnySet)[0m

  Returns [;;4mtrue[0m if [;;4mAnySet[0m is an empty unordered set; otherwise,
  returns [;;4mfalse[0m.

[;1mExamples[0m

    1> sofs:is_empty_set(sofs:empty_set()).
    true
    2> sofs:is_empty_set(sofs:set([a,b])).
    false
