Характеристическая функция

множeства Епространства X - функция [img: http://localhost:8080/file/052302-144.jpg] равная 1 при [img: http://localhost:8080/file/052302-145.jpg] и равная 0 при [img: http://localhost:8080/file/052302-146.jpg] (где СЕ - дополнение Ев X). Любая функция [img: http://localhost:8080/file/052302-147.jpg] со значениями в {0, 1} является X. ф. нек-рого множества, а именно множества [img: http://localhost:8080/file/052302-148.jpg], Свойства X. ф.: [img: http://localhost:8080/file/052302-149.jpg] [img: http://localhost:8080/file/052302-150.jpg] попарно непересекающиеся, то [img: http://localhost:8080/file/052302-151.jpg] 6) если [img: http://localhost:8080/file/052302-152.jpg] то [img: http://localhost:8080/file/052302-153.jpg]