Каждому рациональному числу отличному от нуля соответствует обратное ему число. является ли такое правило функцией.

Да, является, поскольку каждое рациональное число, отличное от нуля, имеет ТОЛЬКО ОДНО обратное себе.