In categorical logic, the term that comes first in a standard-form proposition. (See also Categorical proposition and Standard form.)