no elements

{. ._{x}} <==> {x}

}. ._{x}{ <==> }x{

f(. ._{x}) = f(. ._{y})

x = y

{. ._{x},. ._{y}} <==> {x,y}

}. ._{x},. ._{y}{ <==> }x,y{

{. ._{1},...,. ._{n}} <==> {1,...,n}

}. ._{1},...,. ._{n}{ <==> }1,...,n{

{. ._{(-1)},...,. ._{(-n)}} <==> {(-1),...,(-n)}

}. ._{(-1)},...,. ._{(-n)}{ <==> }(-1),...,(-n){

[A. ._{x}][ . ._{x}€. ._{V} ] & . ._{V} = {. ._{x} : . ._{x} = . ._{x}}

[A. ._{x}][ ¬( . ._{x}€. ._{0} ) ] & . ._{0} = {. ._{x} : . ._{x} != . ._{x}}