bilinmeyenin her değeri için doğru olan yani çözüm kümsei reel sayılar olan eşitliklerdir. denklemden de farkı şudur; denklem sadece bazı gerçek sayı veya sayılar için doğrudur.
Bir şeyin başka bir şey değil de zorunlu olarak kendisi olması; durumlar, koşullar değişse de kendi kendisiyle bir ve aynı kalmasını ifade eden mantık ilkesi.
