tnuc setuf