A finite family of sets has a system of distinct representatives if and only if the union of every k sets of the family contains at least k elements .
Ang hangganan ng pamilya ng mga sets ay isang sistema ng natatanging kinatawan kung at kapag lamang ang mga unyon ng bawat k set ng pamilya ay naglalaman ng hindi bababa sa k sangkap.