transitiu borrós

Si ( x [< x_{n} & x_{n} [< x_{n+1} ) ==> x [< x_{n+1}

min{(0.n),(0.1)} [< (0.n+1)

Si ( x [< x_{n} || x_{n} [< x_{n+1} ) ==> x [< x_{n+1}

max{(0.n),(0.1)} [< (0.n+1)

Si ( x >] (-1)·x_{n} || (-1)·x_{n} >] (-1)·x_{n+1} ) ==> x >] (-1)·x_{n+1}

max{(-1)·(0.n),(-1)·(0.1)} >] (-1)·(0.n+1)

(-1)·min{(0.n),(0.1)} >] (-1)·(0.n+1)

min{(0.n),(0.1)} [< (0.n+1)

Si ( x >] (-1)·x_{n} & (-1)·x_{n} >] (-1)·x_{n+1} ) ==> x >] (-1)·x_{n+1}

min{(-1)·(0.n),(-1)·(0.1)} >] (-1)·(0.n+1)

(-1)·max{(0.n),(0.1)} >] (-1)·(0.n+1)

max{(0.n),(0.1)} [< (0.n+1)

Si ( x = x & x [< x_{n} ) ==> x [< x_{n}

min{0,(0.n)} [< (0.n)

Si ( x = x || x [< x_{n} ) ==> x [< x_{n}

max{0,(0.n)} [< (0.n)

Si ( x = x || x >] (-1)·x_{n} ) ==> x >] (-1)·x_{n}

max{(-0),(-1)·(0.n)} >] (-1)·(0.n)

(-1)·min{0,(0.n)} >] (-1)·(0.n)

min{0,(0.n)} [< (0.n)

Si ( x = x & x >] (-1)·x_{n} ) ==> x >] (-1)·x_{n}

min{(-0),(-1)·(0.n)} >] (-1)·(0.n)

(-1)·max{0,(0.n)} >] (-1)·(0.n)

max{0,(0.n)} [< (0.n)