https://element.eleme.io/?ref=madewithvuejs.com#/en-US/component/select#option-filtering does not explain select filtering.
As far as I can see it behaves the same way as “Basic Usage”.
I press “Try It!” on both and they seem the same except for the additional keyword “filterable”.
That can’t be all there is to it. Where does the filter come from?