If I is an ideal, then I = ( ⋃ I ) {\displaystyle I=(\bigcup I)} .
I がイデアルであれば、 I = ( ⋃ I ) {\displaystyle I=(\bigcup I)} である。