圏visibility_off

より広範な概念から順番に? もともと「デカルト閉圏 → DG → DAG → Tag → Tree → List」を考えていたんだけど、 chatgpt#icon 的にはこうreviseしたほうがいいって。 明確に包含関係にあるのは「DG → DAG（+非巡回性） → Tree（+単一親） → L