 In the above definition, (t3) conceals the binary operation that conjoins the two terms \(M\) and \(N\). This operation is called application, and it is often denoted by juxtaposition, that is, by placing its two arguments next to each other as in (\(MN\)).