\title{Subconjunto}
\language{en}
\range{-5..5}
\author{Gang XIAO}
\email{xiao@unice.fr}
\computeanswer{yes}
\format{html}
\precision{10000}

\text{iff=necesaria y suficiente}
\text{nec=necesaria (sólo)}
\text{suf=suficiente (sólo)}
\text{non=ni necesaria ni suficiente}
\integer{gtype=random(0,1)}
\text{gnec=\gtype=1?\nec:\suf}
\text{gsuf=\gtype=1?\suf:\nec}
\text{choices=\iff,\nec,\suf,\non}
\text{atype=random(1,2)}
\text{atext=item(\atype,que pertenece,que no pertenece)}
\text{btype=random(1,2)}
\text{btext=item(\btype,pertenezca,no pertenezca)}
\text{gA=\gtype=1?A:B}
\text{gB=\gtype=1?B:A}
\text{good=item(\atype,\gsuf,\gnec)}
\text{good=\atype==\btype?\good:\non}

\statement{Sean <i>A</i> y <i>B</i> dos conjuntos, y supongamos que
<i>A</i> es un subconjunto de <i>B</i>.
<p>En este caso, un elemento <i>a</i> \atext a <i>\gA</i>
es una condición ____________&nbsp; para que
<i>a</i> \btext a <i>\gB</i>.}

\choice{}{\good}{\choices}
