Define the following sets of term:

α- and β- notation