本節書摘來華章計算機《資料結構與抽象：java語言描述（原書第4版）》一書中的第1章 ，第1.1.1節，［美］弗蘭克m.卡拉諾（frank m. carrano） 蒂莫西m.亨利（timothy m. henry） 著 羅得島大學 新英格蘭理工學院 辛運帏 饒一梅 譯 更多章節内容可以通路雲栖社群“華章計算機”公衆号檢視。
數學上，有序對是一對值a和b，表示為（a, b）。我們說，（a, b）中的值是有序的，因為（a, b）不等于（b, a），除非a等于b。例如，二維空間中的一個點由它的x坐标和y坐标來表示，即有序對（x, y）。
假定有相同類類型的對象對。可以定義一個接口描述這樣的對的行為，在它的定義中使用泛型。例如，程式清單ji1-1定義了接口pairable，它說明了這些對。pairable對象含有同一個泛型t的兩個對象。
程式清單ji1-1 接口pairable
實作這個接口的類的開頭是下列語句：
這個例子中，在implements子句中傳給接口的資料類型是為類聲明的泛型t。一般地，可以将實際類的名字傳給implements子句中出現的接口。在java插曲3中會看到這種情況的一個例子。