On définit une bijection entre les noeuds de et un ensemble totalement ordonné. On note la clé du noeud . En général, on prend .
Nous représenterons chaque noeud d'un arbre binaire avec une structure contenant les champs suivants :
Si est une variable de type AB alors est la clé de la racine de l'arbre , est un pointeur vers le sous-arbre droit, est un pointeur vers le sous-arbre gauche. Si un pointeur ne pointe vers aucune valeur, on dira qu'il prend la valeur . On fera une allocation dynamique en utilisant la fonction pour créer un noeud de clé et de sous-arbre gauche (resp. droit) (resp. ) de type AB.