A relation R SatiSfying f R g <=> For all a, b, a R b => f a R g b ThiS definition, by Plotkin, can be uSed to extend the definition of a relation on the typeS of a and b to a relation on functionS.

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ b ] [ be ] [ by ] [ ca ] [ ch ] [ de ] [ du ] [ ed ] [ er ] [ eS ] [ extend ] [ fi ] [ file ] [ function ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ iS ] [ it ] [ ki ] [ la ] [ Lex ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ ng ] [ ni ] [ nS ] [ pe ] [ ph ] [ query ] [ rc ] [ re ] [ relation ] [ Sa ] [ Se ] [ T ] [ th ] [ tk ] [ to ] [ type ] [ uS ]