设R，S，T分别是从集合A到集合B，集合B到集合C，集合C到集合D的二元关系，则下列一定正确的是（）ABCD