For every real input x, a relation pairs x with floor(x), the greatest integer less than or equal to x. Is it a function? Select the correct justification.