Definition talk:Ordered Sum

Isn't the ordering supposed to be on $S \sqcup T$? --abcxyz (talk) 04:11, 18 December 2012 (UTC)