take E = the empty set ; :: thesis: E is surreal-membered
thus E is surreal-membered ; :: thesis: verum