The set \(\Omega \)  of all open sets of a topological space \(X\)  is a complete Heyting algebra: it is partially ordered under inclusion, the join \(\vee \)  and meet \(\wedge \)  operations are resp. union and intersection of opens, the implication operator \(U \rightarrow V\)  is defined to be the largest open set \(W\)  satisfying \(W \cap U \subseteq V\) , and it has a unique bottom element \(0 = \emptyset \)  and top element \(1 = X\) , see for example [1]}.

Множество \(\Omega \) всех открытых множеств топологического пространства \(X\) является полным алгеброидом Хейтинга: его можно частично упорядочить по включению, операции объединения \(\vee \) и пересечения \(\wedge \) соответствуют операциям объединения и пересечения открытых множеств, оператор следствия \(U \rightarrow V\) определяется как наибольшее открытое множество \(W\), удовлетворяющее условию \(W \cap U \subseteq V\), и у него есть уникальный нижний элемент \(0 = \emptyset \) и верхний элемент \(1 = X\), см., например, [1].