Pairs of separation algebras are separation algebras.
Maps and partial functions are carriers of separation algebras.