今さら気づいたソートの話

そうか、ヒープソートっていうのは、整列集合は全順序だと言ってるだけのことか。ヒープにおける各パスが部分集合における順序系列をなしていて、そのそれぞれに最小元があるんだ。