2. 1)What does it mean "domain extension"? Does it simply mean $A\subset B$? And so B is an extension of A?