 To define an absolute presentation of a group formula_1 one specifies a set formula_2 of generators, a set formula_3 of relations among those generators and a set formula_13 of irrelations among those 
generators.We then say formula_1 has absolute presentation

provided that