Font
A set of characters in a specific typeface, at a specific point size, and in a specific style. "12-point Times Bold" is a font -- the typeface Times, at 12-point size, in the bold style. Hence "12-point Times Italic" and "10-point Times Bold" are separate fonts.