Defining typeterms

You can define typeterms in the following ways: