Triangle Order ${\le }_{△}$ in Singular Categories

We prove that the triangle order ${\le }_{△}$ in the singular category $D_{sg}(A)$ defines a partial order on the set of isomorphism classes of objects in $D_{sg}(A)$ for a finite-dimensional $k$-algebra $A$.