| http://www.w3.org/ns/prov#value | - For a closed subset $Z\subseteq Y$ such that $Z\cap U\neq\emptyset$ the strict transform is defined as $$\overline{f^{-1}(Z\cap U)}\subseteq X,$$ i.e., the closure of the preimage of the part of $Z$ that lies on the part where the morphism is an isomorphism.
|
