Por ejemplo, después de demostrar que el conjunto "X" contenía sólo conjuntos no vacíos, un matemático habría dicho "sea "F"("S") un elemento de "S" para todo "S" en "X"".