{Tx: x in S /\ A}
Variable x has to be deduced from context.
{Tx: x in S /\ A} = {y: (exists x in S: y = Tx /\ A)}
More convenient syntax for set construction.