Esta notación mediante llaves también se utiliza cuando los conjuntos se especifican de forma intensiva mediante una propiedad: