1) Knot theory 
A switch will define a birack if the operations are invertible. Note that the identity switch does not do this. ==Biquandles== A biquandle is a birack which satisfies some additional structure, as described by Nelson and Rische. The axioms of a biquandle are `minimal` in the sense that they are the weakest restrictions that can be placed on the .....