The TD axiom of classical topology makes sense also in the point-free context. TD-spatiality does not coincide with the standard one. Also, relations with sobriety are investigated.
The TD axiom of classical topology makes sense also in the point-free context. TD-spatiality does not coincide with the standard one. Also, relations with sobriety are investigated. (en)