Dummit and Foote is the classic abstract Algebra textbook to learn about how to precisely define these. Its treatment of ring theory is very well motivated and easy to grasp