A Small Set of Formal Topological Relationships Suitable for End-User Interaction