I will introduce this notion more thoroughly in Section
3.4
and Appendix
A
.