You can also go to the other sides:
1) invariance
1. -- > property
2. ---- > condition
3. ------ > invariance