, and a class

which has

terms. How shall we define

? For this purpose we must have two classes having

terms, and they must not overlap. We can construct such classes from