SETS FROM SMINFINITY