I clan binari di ordine
Received: 4 December 1998
Mathematics Subject Classification (2000): 03C15 - 06A06
Abstract: A Binary Clan is a structure S=(S;≤; σ0;σ1;π),where ≤is a partial order on S and σ0;σ1;π;are unary operations on S satisfying suitable axioms. It is known (see) that there are 2Χ0 non-isomorphic binary clans; yet the conjecture was suggested that the underlying partially ordered set (s; ≤)is uniquely determined (up to isomorphism) no matter which clan it anderlies. We prove this conjecture; moreover we give an intrinsic characterization for such an order.