The first or conditional part of a hypothetical proposition; as, If the earth is fixed, the sun must move.