edge of the pool

• thickened outer edges surrounding a swimming pool