Abstract
In this article, various properties of triangular membership functions are formally proven, including the relationship between a triangular membership function composed of two straight lines and a MAX function, as well as a triangular membership function defined by the horizontal coordinates of the triangle’s vertices. Furthermore, we formalize defuzzified value of a triangular membership function and the integration of two connected functions.