equivalentsystem