移入包絡
移入加群の移入包絡はそれ自身である
整域の移入包絡は、その商体である