The new referenceclass.β may be called 'the result of selecting elements from α', or the 'selection from according to the property β'; for we may think of it as being obtained by selecting from all those elements (buttons) which have the property (red).