Fibre products of formal algebraic spaces
Absolute separation axioms for formal algebraic spaces