En termins informals, iste eixemplo nos premite afirmar que si conoixemos que una cierta propiedat P {\displaystyle P\,} se cumple ta qualsiquier x {\displaystyle x\,} y que si t {\displaystyle t\,} tiene un obchecto particular en a nuestra estructura, alavez habríanos de poder afirmar P ( t ) {\displaystyle P(t)\,} .