La fonction de création doit prendre comme argument une fonction de test à utiliser pour comparer deux éléments d'après l'ordre total du domaine, ainsi qu'une fonction pour obtenir, à partir d'un élément du domaine, une clé de comparaison. C'est cette clé qui sera fournie à la fonction de test.