Separation theorems for sets in product spaces and equivalent assertions Jörg Thierfelder — 1991 Kybernetika