What we have to do for the first one is easy because maximality is a statement about inclusions, all you need to do is that the original correspondence theorem is an inclusion preserving bijection.
మనం ఏమి చేయాలి ఎందుకంటే మొదటిది సులభం ఎందుకంటే మ్యాక్సిమల్ అనేది చేరికల గురించిన స్టేట్మెంట్, మీరు చేయాల్సిందల్లా అసలైన కరస్పాండెన్స్ థీరం బైజెక్షన్ ను ప్రిజర్వ్ చేసే చేరిక.