ϵ">]>
Literature.
[1] J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001.
[2] J. Kľuka. Lecture Notes from Introduction to Declarative Programming Summer 2010/11.
Deletion of the first label. Define the function such that
Hint. Note that the application yields root element for non-empty trees.