(1) Semua antarmuka dan kelas yang diperluas atau diterapkan oleh jenis yang
(2) Dalam hirarki jenis,. Jenis yang subtipe mewarisi atribut dari.