Thank you very much everyone. The continuations article on Wikipedia has been enriched. The last time I saw it it was much more general, I guess that's what Wikipedia is about :)