2.1. Elementary definitions