Binding spaces: A unified completion and extension theory A. Steiner; E. Steiner — 1972 Fundamenta Mathematicae