fixed point combinator <mathematics> (Y) The name used in {combinatory logic} for the {fixed point} function, also written as "{fix}". (1994-10-20)