A proper system has the following properties

and


For example: