theorem :: LATSUBGR:20

for G being Group
for F being non empty Subset of (Subgroups G) st (1). G in F holds
meet F = (1). G