a symbol in a logical or mathematical expression that can be replaced by the name of any member of specified set