<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T35"><span class="comment"><font color="firebrick">:: REALALG1:35</font></span><br/></a><div class="add"> <a href="realalg1.html#K6" title="REALALG1:func.6">Positives(F_Real)</a>  is   <a href="realalg1.html#NM2" title="REALALG1:NM.2">Ordering</a> of <a href="vectsp_1.html#K2" title="VECTSP_1:func.2">F_Real</a> ;<br/></div></div>
