Equivalent sets

Metadata
aliases: [Equal sets]

Two sets and are equivalent if and they are both subsets of each other.

Notation: