Otra notación habitual para denotar por comprensión es: