Algebraic rule (7)
I believe the answer is:
theorem
'algebraic rule' is the definition.
(I've seen this in another clue)
This is all the clue.
(Other definitions for theorem that I've seen before include "The more it changed to a proposition to be proved" , "Deduced formula" , "Logical proposition" , "speculation" , "Statement to be proved in maths" .)