cluster
If the data is a collection of point features, setting this to true clusters the points by radius into groups. Cluster groups become new Point features in the source with additional properties:
clusterIstrueif the point is a clustercluster_idA unique id for the cluster to be used in conjunction with the cluster inspection methods(https://docs.mapbox.com/mapbox-gl-js/api/sources/#geojsonsource#getclusterexpansionzoom, https://docs.mapbox.com/mapbox-gl-js/api/sources/#geojsonsource#getclusterchildren, https://docs.mapbox.com/mapbox-gl-js/api/sources/#geojsonsource#getclusterleaves)point_countNumber of original points grouped into this clusterpoint_count_abbreviatedAn abbreviated point count