この頭字語が使われた初めての事例は、1979年に『LINPACK User's Guide』の目次において「"R.T.F.M." -- Anonymous」という形で記述されたもので、この時点で既に広く知られていたと考えられる。その後、Cleve Molerにより、テクトロニクスのソフトウェア・マネージャーだったNed Thanhouserが、MATLABを開発中のアルゴンヌ国立研究所を訪れたさいに、この箇所を加筆したということが明らかにされた。
那加バイパス開通当初は平面交差点（東中島交差点）であったが、2000年（平成12年）、岐大バイパスと那加バイパスを高架で接続させる区間（三宅立体区間）の暫定供用(この時は左車線がそのまま側道に、右車線が岐大バイパス本線であった)及び、2002年（平成14年）、三宅立体4車線開通により開設される。ハーフインターチェンジであり、国道21号からは下り線から出ることしか出来ない。また、接続する道路からは国道21号線上り線にしか入れない。長森南インターチェンジは、各務原市川島地区（旧川島町）方面へ接続するインターチェンジの役割もあり、案内板には、河川環境楽園の表示がされている。
テューキーの補題から選択公理を導くことができる。を空でない集合の集合族とし、をの部分集合上の選択関数になっているような関数全体の集合とする。選択関数の部分集合はまた選択関数であることなどから、はFinite characterを満たす。よってテューキーの補題よりには包含関係による極大元が存在する。極大性より、その定義域が全体になっていることがわかる。逆に選択公理からテューキーの補題を導くには、ツォルンの補題を経由する。を空でない集合族でFinite characterを満たすとする。をの包含関係に関する任意の鎖とすると、Finite characterよりの任意の有限部分集合はに含まれるから、もに含まれる。は鎖の上界となっているから、ツォルンの補題よりには極大元が存在する。
選択公理から「任意のベクトル空間は基底を持つ」が従うことが知られているが、これはテューキーの補題を経由して以下のように証明される。まず、を線形独立なベクトルの集合からなる集合族とすると、これはFinite characterを持つ。なぜなら、を線形独立なベクトルの集合とすると、当然その部分集合も線形独立であり、逆にもし集合の任意の有限部分が線形独立なら、（線形独立性は有限個のベクトル間の関係だから）も線形独立な集合となるからである。よって、テューキーの補題より、包含関係に関して極大である線形独立なベクトルの集合が存在する。が基底であることは、もしの元の線形結合で表せないベクトルが存在したとすると、それをBに加えればBより大きい線形独立なベクトルの集合が得られてしまうことからわかる。
テューキーの補題（英: Tukey's lemmaあるいは英: Teichmüller–Tukey lemma）とは、ある性質を満たす集合族が包含関係に関する極大元を持つことを保証する命題である。ジョン・テューキーが初めに使用したことからその名前がついた。選択公理やツォルンの補題と同値であることが知られている。
地下鉄5号線天通苑北駅より路線バス643九龍遊楽園行（所要時間30～40分：バス料金1.5元）に乗車、航空博物館下車（バス停から博物館へは下車後山側に向かい、徒歩15～20分程度、またはバス停付近で待機している屋根付きバイクタクシー5元を利用）。または北京地下鉄昌平線：沙河高教園駅よりタクシーで約10分。
所在地：北京市昌平区小湯山鎮開館時間：午前8時 - 午後4時入場料：無料（ただし、有料展示館については、各5～20元が必要）
カリクラテス（古代ギリシア語: Καλλικράτης, Callicrátēs）は古代ギリシアの建築家で、紀元前5世紀中ごろに活躍した。イクティノスと共にパルテノン神殿の建設を行ったことで知られる（プルタルコス、『対比列伝』ペリクレス篇、13）。碑文によれば、同じアクロポリスにあるアテーナー・ニーケー神殿も彼が建設した (IG I³ 35)。ただしこれについては、現存するアテーナー・ニーケー神殿だという説とそれ以前に建っていて基礎部分のみ現存している小神殿だという説がある。碑文によれば、カリクラテスはアクロポリスを取り囲んでいた市壁の建築家でもあり (IG I³ 45)、プルタルコス（前掲書）によればアテナイとピレウスを結ぶ長城 (en) の中ほどにあった3つの壁の建設も請け負ったという。
非常に好戦的で獰猛な性質のアリとして知られ、巣に近付くものがあれば、働きアリたちはそれが自分の体格よりもはるかに大型の生き物であっても躊躇なく攻撃する。特にインチ・アンツに属する大型種は、巣に近づいただけでも威嚇行動をとり、さらに、逃げても５〜10m程度なら後を追ってくる。コロニーの異なる同種間、異種間同士でも激しく争いあい、Myrmecia pilosulaという種は、体長の数倍以上の高さを跳ね上がって攻撃してくるので「Jumping ant」とも呼ばれる。他属のアリ同様に繁殖期には結婚飛行を行う。またユーカリなどの樹木の近くにも巣を構えているが、そこではユーカリの出す甘い蜜や汁を目当てにしており、ユーカリはアリにそれを提供する代わりに、自身を食べようとする生き物を撃退させる番犬の役割を担わせている。その為ユーカリを食べようとする生き物が来れば、アリはその生き物を一斉に攻撃する。