Proposition. Open embeddings are reasonable [00C5]

Open embeddings are reasonable.

Proof.

1. See 7.3
2. See 7.4
3. See 7.3