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

[;1m  restriction(SetFun, Set1, Set2)[0m

  Returns a subset of [;;4mSet1[0m containing those elements that gives an
  element in [;;4mSet2[0m as the result of applying [;;4mSetFun[0m.

[;1mExamples[0m

    1> S1 = sofs:relation([{1,a},{2,b},{3,c}]).
    2> S2 = sofs:set([b,c,d]).
    3> S3 = sofs:restriction(2, S1, S2).
    4> sofs:to_external(S3).
    [{2,b},{3,c}]
