Relational system (universal algebra)