Given this, the one fundamental relation is that of set membership, ‘ε’ , which allows one to state that an object a belongs to, or is in, a set b, written ‘a ε   b’.[4]  Zermelo then laid down seven axioms which give a partial description of what is to be found in B. These can be described as follows: