{x,y} = {x} \/ {y} by ENUMSET1:1;
hence for b₁ being set st b₁ = {x,y} holds
b₁ is S -sequents-like ; :: thesis: verum