次のような再帰的な定義によって導かれる特殊な二分木です:空の二分木があるとき、そのツリーはブラウンツリーです。得られるなら、その二分木はブラウンツリーです。ブラウンツリーは唯一1つだけ存在します。ブラウンツリーが平衡であることは自明でしょう。実装はブラウンツリーの定義に厳密に従っています。[brauntest1]子ツリーの内1つでもブラウンツリーでなければ、その二分木はブラウンツリーでないことは明確です。ツリーがブラウンツリーである場合には二分木のサイズを返し、そうでない場合には例外を発生させるために定義されています。