Intial Example of LazySet