Infinite binary values relation