You are searching for subsuming