theorem :: WAYBEL19:16

for S, T being non empty lower-bounded lower TopPoset holds omega [:S,T:] = the topology of [:S,T:]