Definition talk:Ordered Sum

From ProofWiki
Jump to navigation Jump to search

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