Triangular Fuzzy Set Composed of Two Intersecting Affine Maps (Formalized Mathematics, 2025)