The greatest lower bound of any family of substructures is their intersection.
任何子集的族的最大下界是它们的交集。