Join systems and closure spaces Václav Havel (1966) Commentationes Mathematicae Universitatis Carolinae