Математическое равенство с одной или несколькими неизвестными величинами (числами или функциями), верное только для определенных наборов этих величин