Some properties of interest are:
And here are checkable definitions, which correspond to the formal definitions given above:
With the above checkable definitions, is strongly checkable, while and are weakly checkable.