σύντμηση του [[]]