Homogeneous tree
In descriptive set theory, a tree over a product set is said to be homogeneous if there is a system of measures
such that the following conditions hold:
An equivalent definition is produced when the final condition is replaced with the following:
is said to be
-homogeneous if each
is
-complete.