According to Wikipedia's table of mathematical symbols, refers to Karp reduction, which is part of computational complexity theory. Is this what we're talking about?

Edit: Oh, I guess since S, T, and W are sets we must be talking about something else.