Birational equivalence is a relationship between algebraic varieties that indicates they are isomorphic outside of lower-dimensional subsets. This implies that the varieties have the same function field, allowing for the study of their geometric properties through rational functions.