Dada una familia de subconjuntos bases de subestructuras de una estructura formula_3 que contienen a un subconjunto formula_53, se puede proveer a la intersección de todos los subconjuntos de la familia de una subestructura de formula_3.