[xsl] Increasing sequence ?

A similar problem as before, is the integer sequence increasing?

this is my solution: 

every $v in 1 to (count($sequence)-1) satisfies ($sequence[$v] lt 
$sequence[$v+1])

Do you have a better one?

Cheers
Leo
--~----------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
EasyUnsubscribe: http://lists.mulberrytech.com/unsub/xsl-list/1167547
or by email: xsl-list-unsub(_at_)lists(_dot_)mulberrytech(_dot_)com
--~--