This pool goes by a variety of names. I don’t know the official name, but I have heard, “the craft house pool,” “Lantana pool,” “back pool”, and the “small pool.”
What do you call it? Tell us.
However, the name really doesn’t matter, what matters is that this pool is so nice.
Here’s Astrud Gilberto who agrees about what’s really important: