>>443
>>444

>∀U∈B について
>Bのすべての元の和集合はUの上界になるので

最初から間違ってるが。