Proof that is a partial or a total order? Cantor-Schroder-Bernstein lemma lemma Cantor-Schroder-Bernstein theorem theorem order on graphs (Inclusion relation) Spanning tree definition Bipartite graph definition Konig’s theorem theorem