(to moje pytanie)
Czy jeśli narysuje poglądowy rysunek zbioru omega, zbiorów a i b zawartych w nich (ten ogólny przypadek, że a i b są łączne) to czy muszę w trakcie rozwiązywania zadań udowadniać, że przykładowo (b\a) oraz (a i b) są rozłączne (ewidentnie widać to z rysunku)?
Nie ma takiej konieczności. Jeśli chcesz skorzystać z tej własności to wystarczy o tym napisać.