The two operations of conjugation in a group, and satisfy certain identities. A set with two operations satisfying these identities is called a quandle. The Wirtinger presentation of the knot group involves only relations of the form y-1xy=z and so may be construed as presenting a quandle rather than a group. This quandle, called the knot quandle, is not only an invariant of the knot, but in fact a classifying invariant of the knot.