Égalité de deux ensembles

Soient \(A,B\) deux ensembles sachant \(A = B\), cela veut dire que : \(A=B\Leftrightarrow ((A\subset B)\land(A\subset B))\).