, ( ), , , , . H A B H A , B. .
:
- () .
(>) (~). , A B , A > B (A , B), B > A, A ~ B (A B ).
- .
, , . A > B > C, A ~ B > C, A > B ~ C, A > C. A ~ B ~ C, A ~ C. . . , , .
- .
A , B, - , A . , , - .
- .
. , ( , ), ( ), ( , ).
, , , . , U = f(Q x, Q y), U - ; Q x Q y - Y; Q x Q y - . , . H , .
( . 1881 .).