في الرياضيات،كترمز الصيغة بشكل عام إلى هوية كتساوي بين تعبير رياضي وآخر، مع أهم هاديك هي النظريات الرياضية.