Separation axioms for morphisms of formal algebraic spaces