Binoid: M = T ∩ := ( T , ∩ , V , ∅ ) {\displaystyle {}M={\mathcal {T}}_{\cap }:=({\mathcal {T}},\cap ,V,\emptyset )} , T {\displaystyle {}{\mathcal {T}}} ist eine Topologie auf V {\displaystyle {}V} .
Eigenschaften:
Das Binoid ist boolesch.
Das Binoid ist integer, genau dann, wenn V {\displaystyle {}V} irreduzibel ist in Bezug auf T {\displaystyle {}{\mathcal {T}}} .
, 
ist eine Topologie auf 
.
irreduzibel ist in Bezug auf .
