a bipartite graph has everything from a going over to everything from be (and maybe the other way around as well)
