We can define the order on by Encoding Numbers in Binary Words