A logic value with a smaller value of i with respect
to the logic value ai (i = 0, ..., m) is called a lower-
level logic value and a logic value with a larger value
of i with respect to the logic value ai (i = 0, ..., m) is
called a higher-level logic value.