On topological characterization of behavioural properties