UDP的分组：

UDP的分组称用户数据报：它有8字节的固定首部

总长度：16位字段，定义了用户数据报的总长度为0~65535字节。但实际长度肯定比65535小，因为用户数据报要放在总长度为65535的IP数据报中，封装在IP数据报中。因此UDP长度=IP长度-IP首部长度。

检验和：增加一个伪首部，对于UDP协议来说协议字段的值为17。若在传输过程中这个值发生改变，接收端计算检验和就能检测出来。UDP使用检验和是可选的，如果不计算就将这16位全部填0.

给定集合容易证明以下结论：

给定集合S上的一个(非严格，自反)偏序“≤”，则可自然地诱导出S上的一个(严格，反自反)偏序“<”，只需如此定义：a < b，如果 a ≤ b 且 a ≠ b。

给定集合S上的一个(严格，反自反)偏序“<”，则可自然地诱导出S上的一个(非严格，自反)偏序“≤”，只需如此定义：a ≤ b，如果 a < b 或 a = b。

给定集合S上的一个(非严格，自反)偏序“≤”，其逆关系“≥”也是S上的一个(非严格，自反)偏序;

给定集合S上的一个(严格，反自反)偏序“<”，其逆关系“>”也是S上的一个(严格，反自反)偏序;

由上述可知，只要定义了“≤”、“<”、“≥”、“>”中的任何一个，其余三个关系的定义可以自然诱导而出，这四种关系实际上可以看成一体。故此在不严格区分的情况下，只需定义其一即可(通常是“≤”)，称之为集合S上的偏序关系。(“偏序关系”通常被用来称呼非严格偏序关系。)

(非严格，自反)偏序和(严格，反自反)偏序之间的对应关系不同于在(非严格)弱序和严格弱序直接的对应(逆关系的补集)。只有对于全序这些对应才是相同的[