Petrology is a type of geology. It is concerned with rocks, how they form, and how they are used. It is between mineralogy, which is concerned with the minerals, in rocks, and geology, which tries to put rocks into a larger context.