A subset U of a set S with a binary operation is called avoidable if S can be partitioned into two subsets A and B such that no element of U can be written as a product of two dis...
We consider function fields of functions of one variable augmented by the binary operation of composition of functions. It is shown that the straightforward axiom