Some elementary definitions