A relation is a tuple (H, B) with H, the header, and B, the body, a set of tuples that all have the domain H.