3.1. Some definitions