Some definitions