sentential function: formal expression containing variables; becomes a sentence when variables are replaced by constants
formula: a group of symbols that make a mathematical statement
sea: a division of an ocean or a large body of salt water partially enclosed by land