for T being non empty TopSpace
for X being Subset of (InclPoset the topology of T) holds sup X = union X