Supongamos que tenemos una implementación del TAD Conjunto mediante ABBs que se reequilibran automáticamente (por ejemplo, árboles AVL). Si es el número de elementos del conjunto, ¿cuál es el coste, en el caso peor, de la operación de saber si un elemento está o no en el conjunto (contains)?