<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
Which properties is used to prove the purity of cohohomology of an algebraic set?
<|assistant|>
The property used to prove the purity of cohomology of an algebraic set is called "purity of the branch locus". It states that if X is a smooth, proper algebraic variety over a field k, and Y is a closed subvariety such that the complement U = X - Y is also smooth, then the cohomology with compact support of U over k is isomorphic to the cohomology of X over the function field of Y. In other words, the cohomology of the smooth part of X "purely" determines the cohomology of the whole space.

It is worth noting that the purity of cohomology is a fundamental property in algebraic geometry, as it has important applications in the study of algebraic cycles, intersection theory, and motives.