A Generalization of Hall’s Theorem

A necessary and sufficient condition for a family of finite sets to possess a collection of \(n\) compatible systems of distinct representatives (SDR’s) is given. A decomposition of finite family of sets into partial SDR’s is also studied.