Definition of terms used in this paper.