Τοπολογικός χώρος: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Γραμμή 144:
*[[ολοκληρωμένη Heyting άλγεβρα]] – Το σύστημα όλων των ανοικτών συνόλων ενός δεδομένου τοπολογικού χώρου με εντολή ένταξη είναι μια πλήρης άλγεβρα Heyting.
== Παραπομπές ==
{{παραπομπές}}
==Πηγές==
| |||