ペアという構造が出てきた。ペアとは、S式2つからなるリストのことだ。…
関数 revrel は、レルの各ペアの第1要素と第2要素を入れ替える関数。rev は reverse の略かな。…
関数 fullfunn? （または one-to-one?）は、ファンが全単射、つまり各ペアの第2要素を集めたリストが集合になっているかどうかを判定する。…
今日から7章。集合（セット）が出てきた。セットは、同じアトムが2回以上現れないリストのこと。…
関数 union は、2つのセット s1 と s2 の和集合を返す関数。…
