Talk:Empty Mapping is Unique

I don't understand the "explain" comment. $T$ has been defined, it is a set. What extra clarification is needed? --prime mover (talk) 16:52, 17 November 2013 (UTC)