Định nghĩa, tính chất, quy tắc cộng trừ số hữu tỉ