Completion along a closed

TODO: Completion of a formal algebraic space