Lazy sets