|the product obtained by multiplying a quantity by itself one or more times, the exponent of an expression|
|a relation between two sets in which one element of the second set is assigned to each element of the first set, the operator|
|maths, logic a statement or formula that can be deduced from the axioms of a formal system by means of its rules of inference|
|[C16: from Late Latin theōrēma, from Greek: something to be viewed, from theōrein to view]|
theorem the·o·rem (thē'ər-əm, thēr'əm)
An idea that is demonstrably true or is assumed to be so.
A mathematical proposition that has been or is to be proved on the basis of explicit assumptions.