Relational algebra is a theoretical procedural language used to define and manipulate relations through a set of operations. The basic relational algebra operations are selection, projection, Cartesian product, union, and set difference. Other operations like join, intersection, and theta join can be expressed in terms of these basic operations. Relational algebra allows queries to be formed and nested through the application of multiple operations on relations.