"a" が "b" を整除し、かつ "b" が "a" を整除するならば "a" と "b" は同伴(associate)する、あるいは互いに同伴な元であるという。