A graph where vertices can be split into two independent sets, with no edges between vertices in the same set.