Definition talk:Distinct/Plural/Pairwise Distinct

From ProofWiki
Jump to navigation Jump to search

This definition doesn't really work, since it trivially holds for every set. We should probably define it on indexed families instead, as:

An indexed family is pairwise distinct if and only if the indexing function is injective. --CircuitCraft (talk) 18:21, 8 May 2023 (UTC)
Yes, something is wrong. Possibly, this set should mean multiset. Anyway, a reference for this definition is necessary. --Usagiop (talk) 19:43, 8 May 2023 (UTC)
Good call. I will try to make sense of this when I get my brain back in after my holiday. --prime mover (talk) 07:55, 10 May 2023 (UTC)