Definition talk:Distinct/Plural/Pairwise Distinct

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 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)