{x,y} = {x} \/ {y} by ENUMSET1:1;
hence {x,y} is S -sequents-like ; :: thesis: verum