A proper system has the following properties

and

Meaning that the following function is proper: