In this entry, an isomorphism over should be understood in the sense of the entry isomorphism of varieties.