The universes L and V themselves are transitive classes.
宇宙 L と V もそれ自体推移的クラスである。