the 9-intersection: formalism and its use for natural - INPE