En estas expresiones los dos puntos («:») significan «tal que».