二項関数 f で木をたたむ：

葉の中のデータに g を適用した後で二項関数 f で木をたたむ：

下付き文字でデータを示した葉をハイライトし内側の部分木の周りに枠を加えて木を可視化する：

連想で指定された子を持つ木をたたむ：

葉をたたむ：

子がない内側の葉をたたむ：

子のある木をたたむ：

複数の葉がある木をたたむ：

葉に演算子を適用する：

部分木の特性をたたむ：

子が連想で指定されている木をたたむ：

引数にTreeFoldの演算子形を使う：

2つの引数にTreeFoldの演算子形を使う：

立体領域と操作の木をCSGRegionに変換する：

木の葉のデータのネストしたリストを得る：

式の原子から木を構築する：

この木をネストしたリストに変換する：

木の葉のデータを合計する：

木のデータを合計する：

線形回帰の項の木を作る：

線形回帰の項を計算する：

木をTextElementに変換する：

TreeFoldを以下の関数と一緒に使って木の葉の最小レベルを計算する：

木を格子として表示する：

アメリカ合衆国の人口が10万人以上の都市をリストにする：

都市の測地位置に従って，その階層的クラスタリングを与えるグラフを作成する：

クラスタリングの階層をGraphオブジェクトからTreeオブジェクトに変換する：

各葉について，都市の測地位置を階層的クラスタリンググラフの指標から入手する：

クラスタを表す各部分木について，子の空間的中央値を含む木を与える：

各葉の都市の位置と各クラスタの空間的中央値を使って測地位置の木を入手する：

測地位置の木の辺をアメリカ合衆国の地図上に示す：

家系図を作る：

誕生日を与える連想を作る：

2人の人を比べて，第1子が誕生したときに若かった方をその子とそのときの年齢とともに与える関数を定義する：

2人の兄弟を比べて，年長の方をその誕生日とともに与え，加えて彼らの子孫の中で第1子の誕生時に最年少だったものを与える関数を定義する：

子がある結果を前提として，ある人の子孫の中で第1子の誕生時に最年少だったものを与える関数を定義する：

木の中で第1子の誕生時に最年少だったものを，その第1子と誕生時の年齢とともに求める：

Foldはリストの要素に二項演算子 f を連続的に適用した結果を与える：

TreeFoldは木のデータに二項演算子 f を連続的に適用した結果を与える：

TreeFoldは各子の結果のリストに演算子 f を適用する：

TreeFold[f,Tree[data,None]]は data を与える：

TreeFold[{f,f_-1},Tree[data,None]]は代りに演算子 f_-1をデータ data に適用する：

TreeFold[f,Tree[data,{…}]]は f[data,{…}]を与える：

このことは，たとえ木に子がなくても真である：

TreeFold[f,tree,h]は f を h[tree]と子の木 tree_iについての結果TreeFold[f,tree_i,h]のリストの両方に適用した結果を与える：

TreeFold[f,tree]はTreeFold[{f,Identity},tree]に等しい：

TreeFold[{Tree,Tree[#,None]&},tree]は tree に等しい：

TreeFoldはこのデータと結果に関数を適用する：

TreeMapも同じ結果が計算できる：

根の新たなデータはTreeFoldの結果である：

式の頭部から木を構築する：

TreeFoldを使って各部分木の上に親ノードを挿入する：

これは式の引数へのマッピングに相当する：

Mapは，デフォルトで，式の引数にマップされる：

式の原子から木を構築する：

TreeFoldを使って各部分木の前に兄弟ノードを挿入する：

これは，式の部分式へのマッピングに相当する：

MapはHeadsTrueである式の中の部分式にマップされる：

TreeFold[{f,f_-1},tree]はTreeFold[f,TreeMap[f_-1,tree,{-1}]]に等しい：

まず，演算子 f_-1を木の葉にマッピングする：

次に，内側の部分木に対して演算子 f を使って木をたたむ：

TreeFoldを使って木の深さが計算できる：

TreeFoldを使って木のサイズが計算できる：

TreeFoldを使って木をネストした規則に変換できる：

TreeFoldを使って木の葉から式が作成できる：

シェルピンスキー(Sierpiński)の三角形の第0段階から第3段階の三角形を与えるレベルで木を構築する：

この木から第3段階のシェルピンスキーの三角形を得る：

カントール(Cantor)集合の第0段階から第3段階までの区間を与えるレベルで木を構築する：

この木から第3段階のカントール集合を得る：