En notación conjuntista: