Re: abstraction of notation from sets.