Notecards expressing "the following are equivalent"

[langston-barrett]

There should be something along the following lines: for a theorem of the form

\begin{theorem}
  Let $x$... Then the following are logically equivalent:
  \begin{enumerate}
    \item $x$ is ...
    \item $\forall y\neq x$ ...
    \item $\forall x'\subseteq x$ ...
  \end{enumerate}
\end{theorem}

There should be flashcards like the following:

1. Let $x$... Then the statement "$x$ is..." is logically equivalent to:
2. a. $\forall y\neq x$... b. $\forall x'\subseteq x$

And one for each other statement, with that statement subtracted from the enumeration.