Machine learning in which labels are provided/constructed by labelers. Algorithms learn relationships between covariates (features! yell the computer scientists) and the labels. Distinct from, say, unsupervised learning, self-supervised learning, or semi-supervised learning.
Why have a note for such a common concept? I don’t know. Completeness, maybe.