  This paper introduces properties and relations for proximal homotopy as well
as descriptive proximal homotopy. A number of results are given for the
homotopy between Lodato-proximally continuous maps and for the homotopy between
descriptive Lodato proximally continuous maps. This paper also introduces
homotopic cycles in conjunction with paths in either proximity spaces in
general or in descriptive proximity spaces. Three main results in this paper
are (1) that the product of descriptive Lodata proximity (dlp) spaces is also a
dlp space, (2) every descriptive dlp relation is an equivalence relation and
(3) every homotopic cycle has a free group representation.
