En este artículo se muestra un resultado, fruto de una investigación para optar al título de magister. Los resultados o teoremas importantes quedarán evidenciados en el desarrollo del escrito. El escrito inicia desde definiciones necesarias para una mayor comprensión. Posteriormente se muestran teoremas importantes no necesariamente de la misma teoría como por ejemplo la teoría de grafos, conjuntos parcialmente ordenados entre otros. Después se muestra las equivalencias de tales teoremas, todos ellos relacionados con el Teorema de Hall. Finalmente se muestra la demostración elaborada por el autor del Teorema de Hall que termina convirtiéndose en un algoritmo que detecta todos los sdr de una determinada familia de conjuntos
