Locale (mathematics)
Redirect to:
Complete Heyting algebra