Gültigkeitsbegriffe für Gleichungen in partiellen Algebren