•   Wikis

# Branch (graph theory): Wikis

Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.

# Encyclopedia

In mathematics, especially mathematical logic and set theory, a branch of a tree T is a map f such that ∀n : f (n) ∈ T.

By a tree on a product set κ1 ×···× κp we mean here a subset of the union of κ1i×···×κp i for all i < ω,

$T\subseteq\bigcup_{i<\omega} \kappa_1^i\times\cdots\times\kappa_p^i ~,$

closed under initial segments, and the set of branches of such a tree is then more explicitly the set

$[T]=\{ (f_1,...,f_p)\mid\forall n\in\omega: (f_1(n),...,f_p(n))\in T\} ~.$

This is a closed set for the usual product topology (see AD plus).