Большой немецко-русский и русско-немецкий словарь
f =, -en
1)разделение, обособление
2)лог. дизъюнкция
3)грам. разделительный союз
Deutsch-Russische Wörterbuch polytechnischen
f
1) логика дизъюнкция(логическая операция), функция "исключающее ИЛИ"
2)разобщение, разделение