User:慈居/sandbox#Intervals in posets and preordered sets