Definition talk:Cover of Set

I don't want to mess with the whole transclusion process so if somebody does this I can make the theorem statement in Equivalence of Cover Definitions look cleaner at least. --Jshflynn (talk) 16:31, 8 February 2013 (UTC)