Splnitelnost omezujících podmínek a univerzální algebra