Читаю сейчас книгу Хаусдорфа. Дошёл до характеристической функции. Этот автор понимает под разностью

только такую, когда

. Его определение характеристической функции таково:
"каждому подмножеству

фиксированного множества

можно взаимно однозначно отнести некоторую определённую на

функцию

, которая принимает только два значения

и

, полагая

, если

,

, если

"
А можно ли обобщить понятие характеристической функции на случай, когда

И ещё- отличается ли определение Хаусдорфа характеристической функции от современного?