fixed point set function level set singleton set even function fixed field singleton constant function ordered set set operation