No diff available--this is the first major revision.
(
minor diff)
A triangulation T of R^(n+1) is a subdivision of R^(n+1) into n+1 simplices such that:
1. any two simplices in T intersect in a common face, or not at all;
2. any bounded set in R^(n+1) intersects only finitely many simplices in T.