Верно. А мера Лебега множества A(0), являющегося подмножеством B(0)? Напомню, A(0)={(0, y) | 0<=y<=1, y иррационально}?