Eilenberg's variety theorem without Boolean operations