Cantor set
二項モノイドの自己同型は合同群（modular group）である。これにより、カントール集合などの多くのフラクタルの自己相似性が説明されると見ることもできる。