A bipartite graph where every vertex in one set is connected with exactly one vertex in the other set.