witness

1

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

2

[see also: exemplify]

Now $T$ witnesses property P.

Note that $R_2$ witnesses that $A$ is compact.

Go to the list of words starting with: a b c d e f g h i j k l m n o p q r s t u v w y z