Properties and definitions