---
tag: 09JP6G9FTA
kind: definition
name: Forest
msc: [05C05]
defines: 0GGXWDNKBR
uses: [0XNN9Z8E5A, 0MJ0JS72DZ]
sources:
  - url: https://en.wikipedia.org/wiki/Tree_(graph_theory)
    locator: Forest
---

## Definition

A forest is an [[acyclic|0XNN9Z8E5A]] [[graph|0JD5C82QMB]].

## Remarks

The connected components of a forest are [[trees|0MJ0JS72DZ]]. Thus a forest is a disjoint union of trees.
Every tree is a forest. The graph with no edges on $n$ vertices is a forest with $n$ components.

## Explanations

### L1 human

A forest is a graph with no cycles, and it may be in several pieces.
Each piece is a tree, as the name suggests.