Let be a finite collection of finite sets. A system of distinct representatives, or SDR, of is a set