semiorder

ウィキペディアから