The basic commutators derived from the generators of a free group were introduced by Philip Hall and studied extensively by Marshall Hall, Jr. There exists a natural linear ordering for these commutators. It is the purpose of this paper to show that this ordering is, in a certain sense, invariant under multiplication, i.e., under the process of forming the commutator with the same basic commutator on both sides of an inequality. We derive and state our results in the language of commutators in groups; obviously, they can be formulated also in terms of elements of a free Lie ring. Our investigation was motivated by a study of the smallest normal divisor in a free group containing a given basic commutator. We start out by giving some notation and definitions which will be used throughout this paper. G will be the free group on xi, x2, , x,. If a, bCG then (a, b) =a-1b-lab. The lower central series of G is the chain GiDG2D . . . GnDGn+lD . . . of subgroups defined by setting GC = G, Gn = (Gn-1, G), the group generated by all commutators of the form (an-1, b) with an_iCGn-i and bEG. We wish now to construct basic commutators and at the same time define a linear ordering on them. This is done by induction. The basic commutators of weight one with their linear order are x Cj and such that if C =(C8, Ce), then Cj> Ct. Let Cn,=(Cil, Cjl) and Cn2=(Ci2, Cj2) be of weight n. Then Cni > Cn2 if Cil > Ci2 or Cil = Ci2 but C,1 > Cj2. A basic commutator of weight n is greater than any of weight less than n. Thus, if r=2, let xi=x, x2=y so that the basic commutators of weight ? 3 in their order are