A model for this must provide the following operations. For all of them fo(x,y) returns true iff x and y are equal.