What is the definition of the set fix(φ)?