Largest Maximal Set is a Filter and Largest Minimal Set is an Ideal

• 最大极大集是渗透及最大极小集是理想