See here.

Pasted image 20211109085050.png

I think that this is valid and useful in Algebraic Geometry, i.e., Zariski topology. To pass to manifolds we should use the sheaf version.