内的集合
任意のモナディック集合 M {\displaystyle M} とギャラクティック集合 G ⊆ M {\displaystyle G\subseteq M} に対し、内的集合 I {\displaystyle I} が存在して G ⊆ I ⊆ M {\displaystyle G\subseteq I\subseteq M} が成り立つ。したがってとくにモナディックかつギャラクティックな集合は内的である。この事実は「Fehreleの原理」として知られている。