Whether you’re looking to buy a place with a pool, install one, or add some extra features to your existing pool, these are the terms you’ll need to know to make a big splash.