be a term which is not a member of

. Then the class consisting of

with

added on will have

members. Thus we have the following definition:—