User blog comment:Wythagoras/Bounds for Rayo (not my work)/@comment-5150073-20141017075325/@comment-1605058-20141017084728

And 0, 1, ordered pair, multiplication, equivalence.

The idea of apply is that in FOST it's easiest to define functions as sets of pairs (arguments,value). apply is supposed to take arguments and return value.