“”的等价说法是“对任意的，使得.”