Mathematical English Usage - a Dictionary

by Jerzy Trzeciak

witness

1
Take for T any witness to X having property P.

2
[see also: exemplify] Now T witnesses property P.

Note that R₂ witnesses that A is compact.