Definition:Family of Distinct Elements