在邏輯中，同一律聲稱 A = A。任何自反關係都支持同一律；在討論等同性的時候，"A 是 A" 的事實是重言式。 同一律是思維規律之一。
這個定律通常歸功於亞里士多德，但直到十三世紀托馬斯·阿奎納之後都沒有提及過它的存在。這個定律在十七世紀經常在哲學家中間引用，它可能是在十三世紀到十七世紀之間的某個時候來自亞里士多德教義的論斷，導致了這項貢獻。
短語 "A 是 A" 是艾茵·蘭德的喜好，並且在她的客觀主義哲學中經常出現。漫畫作家史蒂夫·迪特科，自己是客觀主義的代表人物，經常稱呼他的超級英雄之一為 "A 先生"。
