実行時にオブジェクトの型を判断して、適切なメソッドを呼び出す仕組みを何と呼ぶか。

集合AとBにおいて、AまたはBのどちらか少なくとも一方に含まれる部分を何と呼ぶか。