A Notation and basic definitions