Binding spaces: A unified completion and extension theory A. Steiner, E. Steiner (1972) Fundamenta Mathematicae