FS domains can be characterised using the upper or lower power domain construction. In these characterisations, separation by the elements of a finite set is replaced by separation by a continuous non-deterministic function with finite image. This notion of separation can be formalised in many different, but equivalent ways.
[Paper.ps.gz (11p, 44k)]
Reinhold Heckmann /