Definition:Variables of Polynomial Ring