properties of terms