Question 1046926
a) reflexive means a sigma a, then
:
x sigma x then x < or = x < or = 2x
:
note x = x and x < 2x
:
****************************************
sigma is reflexive
:
*****************************************
b) sigma is transitive if we have
:
x sigma y and y sigma z then  x sigma z
:
we have the following 
:
x sigma y then x < or = y < or = 2x
:
y sigma z then y < or = z < or = 2y
:
since < or = is an ordered relation, we know
:
x < or = z and z < or = 2y but is z < or = 2x?
:
***************************
the example is x=1, y=2, z=3
x sigma y is 1 < or = 2 < or = 2
y sigma z is 2 < or = 3 < or = 4
x sigma z is 1 < or = 3 < or = 2 *** this is false
sigma is not transitive
***************************
: