no elements

(. ._{A}[ & ]. ._{B})[ & ]. ._{C} = . ._{A}[ & ](. ._{B}[ & ]. ._{C})

(. ._{A}[ || ]. ._{B})[ || ]. ._{C} = . ._{A}[ || ](. ._{B}[ || ]. ._{C})

. ._{A}[ & ]. ._{B} = . ._{B}[ & ]. ._{A}

. ._{A}[ || ]. ._{B} = . ._{B}[ || ]. ._{A}

. ._{A}[ & ]. ._{A} = . ._{A}º

. ._{A}[ || ]. ._{A} = . ._{A}

. ._{A}[ & ](. ._{B}[ || ]. ._{C}) = (. ._{A}[ & ]. ._{B})[ || ](. ._{A}[ & ]. ._{C})

. ._{A}[ || ](. ._{B}[ & ]. ._{C}) = (. ._{A}[ || ]. ._{B})[ & ](. ._{A}[ || ]. ._{C})

isomorfismes d'ordre:

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

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

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

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

Si ( . ._{f(x)} = . ._{f(y)} & . ._{f(y)} = . ._{f(z)} ) ==> . ._{f(x)} = . ._{f(z)}