finished the statement that \AC is a category; moved associativity of relation composition to prop 2_47; added a label for lemma 2.5