Proved some properties of preorders and componentwise join.