For example, after having established that the set X contains only non-empty sets, a mathematician might have said "let F(s) be one of the members of s for all s in X."
Por exemplo, despois de demostrar que o conxunto X contiña só conxuntos non baleiros, un matemático diría "sexa F(S) un elemento de S para todo S en X".