1.1 Elementary definitions