Writing rigourous proofs in graph theory with sets.