First steps towards description and analysis of DS
use better symbols for binary relations