A forest is a circuitless graph. A tree is a connected forest. A subforest is a subgraph of a forest.
A connected subgraph of a tree is a subtree. Generally speaking, a subforest (respectively
subtree) of a graph is its subgraph, which is also a forest (respectively tree).