External properness
In this paper, we revisit the structural concept of properness. We distinguish between the properness of the whole system, here called internal properness, and the properness of the “observable part” of the system. We give geometric characterizations for this last properness concept, namely external properness.